(function() {
	try {
		prettyPrint();
	} catch (e) {
		var scriptId = 'prettify-blogger-dynamic';
		if (document.getElementById(scriptId) === null) {
			var elem = document.createElement('SCRIPT');
			elem.id = scriptId;
			elem.onload = function() {
				prettyPrint();
			};
			elem.src = "http://prettify-blogger-dynamic.googlecode.com/svn/trunk/google-code-prettify/prettify.js";
			var theBody = document.getElementsByTagName('body')[0];
			theBody.appendChild(elem);
		}
	}
})();
